<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />

<link rel="stylesheet" type="text/css" href="/pub/css/softlab.css" media="all" />

<title>page2</title>
</head>

<body>
<div id="sitename">
	<h1>吉林大学软件教研室 SoftLab. of JLU</h1>
</div> <!-- end of sitename -->

<div id="header">
	<div class="border">
		<div id="header_inner"><img id="banner" src="/pub/image/banner1.jpg"
				alt="Picture of softlab" width="760" height="110" /></div>
	</div>
</div> <!-- end of header -->

<div id="holder">

	<div id="navi">
		<div style="height:1.5em">&nbsp;</div>
		<ul><li><a href="###">软件教研室首页</a></li>
			<li><a href="###">教研室介绍</a></li>
			<li><a href="###">教研室成员</a></li>
			<li><a href="###">研究方向</a></li>
			<li><a href="###">研究成果</a></li>
			<li><a href="###">教学信息</a></li>
			<li><a href="###">编译原理精品课</a></li>
			<li><a href="###">高级程序设计精品课</a></li>
		</ul>
		<ul><li><a href="###">教研室新闻消息</a></li>
			<li><a href="###">内部消息/通知</a></li>
			<li><a href="###">课件、资料下载</a></li>
		</ul>

		<div class="panel">
			<h3>个人面板</h3>
			<p>你好，<a href="###">欧阳丹彤</a> 教授！</p>
			<ol><li>个人信息 <a href="###">管理&raquo;</a></li>
				<li>我的论文(10) <a href="###">管理&raquo;</a></li>
				<li><hr /></li>
				<li><a href="###">发布公开消息&raquo;</a>&nbsp;
					<a href="###">管理&raquo;</a></li>
				<li><a href="###">发布内部通知&raquo;</a>&nbsp;
					<a href="###">管理&raquo;</a></li>
				<li><hr /></li>
				<li>实验室项目(18):</li>
				<li style="text-align:right;">
					<a href="###">新增&raquo;</a>&nbsp; 
					<a href="###">管理&raquo;</a></li>
				<li>实验室著作(12):</li>
				<li style="text-align:right;">
					<a href="###">新增&raquo;</a>&nbsp; 
					<a href="###">管理&raquo;</a></li>
				<li>实验室奖励(9):</li>
				<li style="text-align:right;">
					<a href="###">新增&raquo;</a>&nbsp; 
					<a href="###">管理&raquo;</a></li>
				<li>实验室成员(77):&nbsp;
					<a href="###">管理&raquo;</a></li>
				<li><hr /></li>
				<li><a href="###">修改密码&raquo;</a>&nbsp;
					<a href="###">退出登录&raquo;</a></li>
			</ol>

		</div> <!-- end of panel -->

		<div id="jlu">
			<a href="http://www.jlu.edu.cn/" target="_blank"><img
				src="/pub/image/jlu.gif" alt="吉林大学校徽" /></a>
		</div>

		<div class="clear"></div>
	</div> <!-- end of navi -->

	<div id="right">

		<!-- brief introduction of softlab -->
		<div class="segm">
			<h2>欢迎访问吉林大学软件教研室网站</h2>
			<div class="desc">
				<div class="person">
					<img src="/pub/image/liulei.jpg"
						alt="President of SoftLat." />
					<p>实验室主任：刘磊</p>
					<i>教授，博士生导师</i>
				</div>　　软件教研室的前身是吉林大学数学系计算数学教研室，在六十年代初，由金成植、金淳兆、周长林等老一辈计算机科学家创建了系统软件教研室，在形式化理论、软件工程、操作系统等方面为国家作出了杰出的贡献。<br />
　　目前，软件教研室主要以软件新方法与新技术研究为重点，理论研究与应用研究相结合，主要研究方向包括程序设计语言及实现技术、并发程序形式语义及其应用、语义网及本体工程、形式化方法及其在软件开发中的应用等。目前本教研室主任是刘磊教授（博导）。现有教师11人，其中博士导师3人，副教授2人，讲师 6人。现正从事有关Monad方法、语义形式化、程序分析以及语义网方面的深入研究工作。至今本教研室已经培养了5名博士和近60余名硕士研究生，目前在读博士有12人，硕士研究生41人。</div>
		</div> <!-- end of brief introduction -->

		<!-- recent news -->
		<div class="segm">
			<h2><a href="###">最新消息.Rencent News &raquo;</a></h2>
			<ul><li><a href="###">《编译原理》双语课程--部分课件</a> - 
					<a href="###">金英</a> - <i>2007.10.25</i></li>
				<li><a href="###">《编译原理》双语课程--词法分析部分课件 </a> - 
					<a href="###">金英</a> - <i>2007.10.10</i></li>
				<li><a href="###">软件教研室本科毕业论文答辩通知（计算机学院、软件学院、经信学院）</a> - 
					<a href="###">刘磊</a> - <i>2007.10.2</i></li>
				<li><a href="###">2007软件学院毕业设计要求</a> - 
					<a href="###">张长海</a> - <i>2007.10.25</i></li>
				<li><a href="###">2007年"形式语义学"研究生课程(电子教材和第一节课件)</a> - 
					<a href="###">金英</a> - <i>2007.3.5</i></li>
				<li><a href="###">软件教研室本科毕业论文答辩通知（计算机学院、软件学院、经信学院）</a> - 
					<a href="###">金英</a> - <i>2007.1.1</i></li>
				<li><a href="###">世界著名软件工程大师David Parnas教授访问计算机科学与技术学院以及软件教研吉林大学的内容和w3c的会议</a> - 
					<a href="###">金英</a> - <i>2006.9.22</i></li>
				<li><a href="###">经济信息学院2002级本科生毕业设计指导教师分组名单</a> - 
					<a href="###">刘磊</a> - <i>2006.6.3</i></li>
			</ul>
			<p style="text-align:right"><a href="###">&raquo; 更多消息</a></p>
		</div> <!-- end of recent news -->

		<!-- latest papers -->
		<div class="segm">
			<h2><a href="###">最近发表的论文.Latest Papers &raquo;</a></h2>
			<ul><li><a href="###">《一种本体演化波及效应分析方法》</a> - 
				电子学报 - <a href="###">金龙飞</a>、<a href="###">刘磊</a> -
				<i>2006(8)</i></li>
				<li><a href="###">《The Denotational Semantics of the Signal Statement in ATLAS》</a> - 4th ACIS International Conference on Software Engineering  Research, Management & Applications (SERA2006)Red Lion Hotel, Seattle, Washington, USA August 9-11, 2006	- 
				郭德贵、刘磊 - <i>2006(8)</i></li>
				<li><a href="###">《Operational Semantics of Ambient Calculus》</a> -  In IEEE International WokShop on Service_Oriented System Engineering(SOSE2005), Beijing, China, - 
				张晶、金英、郭德贵、刘磊、金成植 - <i>2005(10)</i></li>
			</ul>
			<p style="text-align:right"><a href="###">&raquo; 更多论文</a></p>
		</div> <!-- end of latest papers -->

	</div> <!-- end of right -->

	<!-- keywords -->
	<div id="bottom">
		<div id="contact">
			<a href="###"><img 
				src="/pub/image/contact.gif" alt="联系我们" /></a>
		</div>
	</div> <!-- end of keywords -->

	<div class="clear"></div>
</div> <!-- end of holder -->

<div id="footer">
	<div>吉林大学软件教研室 2007年 &copy; 版权所有.
	Copyright &copy; 2007 SoftLab. of JLU.
	Designed by wuxi.</div>
	<p>吉林大学软件实验室 <a href="###">吉ICP证 正在申请中...</a></p>
</div> <!-- end of footer -->

</body>
</html>
